A Study in the Integration of Computer Algebra Systems: Memory Management in a Maple–aldor Environment

نویسنده

  • STEPHEN M. WATT
چکیده

We have undertaken to study the problems which arise in the tight coupling of computer algebra systems. By this we mean having multiple computer algebra systems share the same address space so that objects created by one system can be passed passed by reference in calls to another system. As an interesting practical problem, we have explored the case of using Aldor code from within the Maple system, allowing Aldor and Maple programs to share data and call each other. This allows Aldor to be used as a compiled extension language for Maple, and consequently provides Maple an efficient generic programming facility. This required creating an Enhanced External Function interface for Maple , which has been incorporated as part of the standard release of Maple since Maple 7. In this paper we describe the low-level memory management issues arising from this integration. The natural interface between Aldor domains and Maple modules shall be reported elsewhere.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Framework for Using Aldor Libraries with Maple

This paper examines what is required to use Aldor libraries to extend Maple in an effective and natural way. This represents a non-traditional approach to structuring computer algebra software: using an efficient, compiled language, designed for writing large complex mathematical libraries together with a top-level system based on userinterface priorities and ease of scripting. Our method invol...

متن کامل

Parametric Polymorphism for Computer Algebra Software Components

This paper presents our experiments in providing mechanisms for parametric polymorphism for computer algebra software components. Specific interfaces between Aldor and C++ and between Aldor and Maple are described. We then present a general solution, Generic IDL (GIDL), an extension to CORBA IDL supporting generic types. We describe our language bindings for C++, Java 1.5 and Aldor as well as a...

متن کامل

Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra

Computer algebra systems, such as Axiom, and programming languages designed for computer algebra, such as Aldor, have very flexible mechanisms for generic code, with type parameterization. Modern versions of Maple can support this style of programming through the use of Maple's module system, and by using module-producing functions to give parametric type constructors. From the software design ...

متن کامل

Making a Sophisticated Symbolic Solver Available to Different Communities of Users

Triangular decompositions have become one of the major tools for solving systems of non-linear algebraic or differential equations symbolically. These decompositions display more geometrical information than other symbolic descriptions of polynomial systems. However, their specifications and the algorithms computing them are quite sophisticated. Their implementation in mathematical software, th...

متن کامل

Asymptotic Expansions with Oscillating CoeÆcients

In recent years, Computer Algebra has seen signi cant advances on a wide range of fronts. One of the many areas of development has been Symbolic Asymptotics. The exp{log functions are those de ned by expressions built from the rational numbers Q and the variable, x, using arithmetic operations and the functions exp and log, with the understanding that the latter is only applied to arguments whi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002